ja 様相論理
― Synonym ⟶
Weight: 0.5
en modal logic Source: DBPedia 2015